gdb: Add possible output of GDB version 3 format.

diff --git a/xmldoc/formats/options/gdb-ver.xml b/xmldoc/formats/options/gdb-ver.xml
index 847a9ac1ef7959fd7b73ba88ea1261d28c5e2f0e..6b736592e54028284587f5deefb4066eee0a0670 100644 (file)
--- a/xmldoc/formats/options/gdb-ver.xml
+++ b/xmldoc/formats/options/gdb-ver.xml
@@ -1,5 +1,5 @@
 <para>
 This option specifies the data format version for the output file.  Version
-2 is the default.  Currently, the only other valid value for this option is
-1.
+2 is the default.  Currently, the only other valid values for this option are
+1 and 3.
 </para>